Issues on adjointness in multiple-valued logics
نویسندگان
چکیده
We contribute to the theory of implications and conjunctions related by adjointness, in multiple-valued logics. We suggest their use in Zadeh s compositional rule of inference, to interpret generalized modus ponens inference schemata. We provide new complete characterizations of implications that distinguish left arguments, implications that satisfy the exchange principle, divisible conjunctions, commutative conjunctions, associative conjunctions and triangular norms. We also introduce and characterize pseudo-strict and pseudo-continuous implications and conjunctions, and we explore the close relationship between these two notions. 2005 Elsevier Inc. All rights reserved.
منابع مشابه
10 Triangular norm-based mathematical fuzzy logics
In this chapter, we consider particular classes of infinite-valued propositional logics which are strongly related to t-norms as conjunction connectives and to the real unit interval as set of their truth degrees, and which have their implication connectives determined via an adjointness condition. Such systems have in the last ten years been of considerable interest, and the topic of important...
متن کاملOn Povzner–wienholtz-type Self-adjointness Results for Matrix-valued Sturm–liouville Operators
We derive Povzner–Wienholtz-type self-adjointness results form× m matrix-valued Sturm–Liouville operators T = R [
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملPersonalisation - An Emergent Institutional Logic in Healthcare?; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
This commentary on the recent think piece by Mannion and Exworthy reviews their core arguments, highlighting their suggestion that recent forces for personalization have emerged which may counterbalance the strong standardization wave which has been evident in many healthcare settings and systems over the last two decades. These forces for personalization can take very different forms. The comm...
متن کاملPropositional Calculus for Associatively Tied Implications
Recently, Morsi [28] has developed a complete syntax for the semantical domain of all adjointness algebras. In [1], Abdel-Hamid and Morsi enrich adjointness algebras with one more conjunction, this time a t-norm T (T need not be commutative) that ties an implication A in the following sense: A(T(a, b), z) = A(a, A(b, z)). In this paper, we develop a new complete syntax for quite a general multi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Sci.
دوره 176 شماره
صفحات -
تاریخ انتشار 2006